Sfoglia per Rivista  THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 12 a 12 di 12
Titolo Data di pubblicazione Autore(i) File
Verifiable abstractions for contract-oriented systems 1-gen-2017 Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto
Mostrati risultati da 12 a 12 di 12
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile